<?php
declare (strict_types = 1);
function getBigName(int $num)
{
    return "孙江" . $num;
}
echo getBigName(2);
